Redirecting /DEVUAN/ back out to deb.devuan.org is a mistake that needs to be reported. 🔼

My own mirror used to do this, until I fixed it.  So I can at least break that again for testing.

reported=2019-06-25 03:35:02

reporter=onefang

priority=low

category=TODO

severity=trivial

resolution=fixed